You can see the problem in the primer hits: datagram_received is supposed to be overwritten in sub-classes, but those sub-classes can use a tighter annotations due to them having more knowledge on the protocol used. I think the best we can do – until we get AnyOf (python/typing#566) – is using Any.

You can see the problem in the primer hits: datagram_received is supposed to be overwritten in sub-classes, but those sub-classes can use a tighter annotations due to them having more knowledge on the protocol used. I think the best we can do – until we get AnyOf (python/typing#566) – is using Any.

I think to support this use-case the type would need to be tuple[str | Any, int, *tuple[Any, ...]] in that case. Any objections/see any better alternatives?

Edit: Needed tuple[ Any, int, *tuple[Any, ...]] for tests to pass.

Diff from mypy_primer, showing the effect of this PR on open source code:

core (https://github.com/home-assistant/core)
+ homeassistant/components/esphome/assist_satellite.py:777: error: Argument 2 of "datagram_received" is incompatible with supertype "asyncio.protocols.DatagramProtocol"; supertype defines the argument type as "tuple[Any, int, *tuple[Any, ...]]"  [override]
+ homeassistant/components/esphome/assist_satellite.py:777: note: This violates the Liskov substitution principle
+ homeassistant/components/esphome/assist_satellite.py:777: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides

anyio (https://github.com/agronholm/anyio)
+ src/anyio/_backends/_asyncio.py:1229: error: Argument 2 of "datagram_received" is incompatible with supertype "asyncio.protocols.DatagramProtocol"; supertype defines the argument type as "tuple[Any, int, *tuple[Any, ...]]"  [override]
+ src/anyio/_backends/_asyncio.py:1229: note: This violates the Liskov substitution principle
+ src/anyio/_backends/_asyncio.py:1229: note: See https://mypy.readthedocs.io/en/stable/common_issues.html#incompatible-overrides

You can see the problem in the primer hits: datagram_received is supposed to be overwritten in sub-classes, but those sub-classes can use a tighter annotations due to them having more knowledge on the protocol used. I think the best we can do – until we get AnyOf (python/typing#566) – is using Any.

I think to support this use-case the type would need to be tuple[str | Any, int, *tuple[Any, ...]] in that case. Any objections/see any better alternatives?

Edit: Needed tuple[ Any, int, *tuple[Any, ...]] for tests to pass.

I take this back, MyPy doesn't like this where-as I had luck testing with Pyright. I'll re-open assuming I get this working for both.